Instance Verification Kit (IVK)

spin lock @ [27216+37+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]
Instance Signature: lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
abort_dma [33594+9+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]
abort_dma_228x [33164+14+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]
dma_done [29639+8+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]
done [25300+4+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]
ep_stdrsp [75037+9+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]
handle_ep_small [66094+15+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]
handle_stat0_irqs [80571+17+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]
handle_stat0_irqs_superspeed [75778+28+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]
handle_stat1_irqs [87367+17+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]
net2280_dequeue [34093+15+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]
net2280_disable [13346+15+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]
net2280_irq [92236+11+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]
net2280_probe [94212+13+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]
net2280_queue [26107+13+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]
net2280_stop [65156+12+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]
nuke [33763+4+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]
scan_dma_completions [29889+20+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]
stop_activity [64601+13+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]
usb_reset [55290+9+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]
usb_reset_228x [53130+14+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]
usb_reset_338x [53995+14+/linux-3.17-rc1/drivers/usb/gadget/udc/net2280.c]